LinGraph: a graph-based automated planner for concurrent task planning based on linear logic
نویسندگان
چکیده
منابع مشابه
a new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
15 صفحه اولPlanning Graph Based Heuristics for Automated Planning
One of the most successful algorithms in the last few years for solving classical planning problems is Graphplan [3]. This algorithm can be seen as a disjunctive version of forward state space planners. The algorithm has two interleaved phases: a forward phase where a polynomial-time data structure called ”planning graph” is incrementally extended, and a backward phase where that planning graph...
متن کاملA Planner Fully Based on Linear Time Logic
This work aims at verifying the effective possibilit). of using Linear Time Logic (LTL) as a planning language. The main advantage ofsuch a rich and expressive language isthe possibility of encoding problem specifc information, that can be of help both in reducing the search space and finding a better plan. To this purpose, w~e have implemented a planning system, PADOK (Planning with Domain Kno...
متن کاملtask-based language teaching in iran: a mixed study through constructing and validating a new questionnaire based on theoretical, sociocultural, and educational frameworks
جنبه های گوناگونی از زندگی در ایران را از جمله سبک زندگی، علم و امکانات فنی و تکنولوژیکی می توان کم یا بیش وارداتی در نظر گرفت. زبان انگلیسی و روش تدریس آن نیز از این قاعده مثتسنی نیست. با این حال گاهی سوال پیش می آید که آیا یک روش خاص با زیر ساخت های نظری، فرهنگی اجتماعی و آموزشی جامعه ایرانی سازگاری دارد یا خیر. این تحقیق بر اساس روش های ترکیبی انجام شده است.پرسش نامه ای نیز برای زبان آموزان ...
application of upfc based on svpwm for power quality improvement
در سالهای اخیر،اختلالات کیفیت توان مهمترین موضوع می باشد که محققان زیادی را برای پیدا کردن راه حلی برای حل آن علاقه مند ساخته است.امروزه کیفیت توان در سیستم قدرت برای مراکز صنعتی،تجاری وکاربردهای بیمارستانی مسئله مهمی می باشد.مشکل ولتاژمثل شرایط افت ولتاژواضافه جریان ناشی از اتصال کوتاه مدار یا وقوع خطا در سیستم بیشتر مورد توجه می باشد. برای مطالعه افت ولتاژ واضافه جریان،محققان زیادی کار کرده ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Intelligence
سال: 2017
ISSN: 0924-669X,1573-7497
DOI: 10.1007/s10489-017-0936-x